Formal and Practical Techniques...
Paperback
Published 26 Mar 2025
- $162.85
Search for "Drechsler Rolf Drechsler"
86 results
-
-
$4.72off
Polynomial Formal Verification ...
Paperback
Published 16 Sep 2024Save $4.72
- RRP $67.86
- $63.14
-
$19.44off
Evolutionary Algorithms for VLS...
Paperback
Published 03 Dec 2010Save $19.44
- RRP $122.13
- $102.69
-
Formal Verification of Circuits
Hardback
Published 30 Jun 2000- $188.50
-
$18.43off
Evolutionary Algorithms for VLS...
Hardback
Published 31 May 1998Save $18.43
- RRP $122.13
- $103.70
-
$15.52off
Advanced Formal Verification
Paperback
Published 07 Dec 2010Save $15.52
- RRP $122.13
- $106.61
-
Formal Verification of Circuits
Paperback
Published 02 Dec 2010- $184.29
-
Formal and Practical Techniques...
Hardback
Published 01 May 2024- $162.85
-
$12.83off
Advanced Formal Verification
Hardback
Published 31 Jan 2004Save $12.83
- RRP $122.13
- $109.30
-
$6.57off
Verbessertes Virtuelles Prototy...
Hardback | German
Published 02 Jan 2023Save $6.57
- RRP $94.99
- $88.42
-
$9.15off
Erweiterte Virtuelle Prototypen...
Hardback | German
Published 04 Jun 2024Save $9.15
- RRP $94.99
- $85.84
-
$18.21off
High Quality Test Pattern Gener...
Hardback
Published 31 Jan 2012Save $18.21
- RRP $122.13
- $103.92
-
$17.86off
High Quality Test Pattern Gener...
Paperback
Published 20 Oct 2014Save $17.86
- RRP $115.35
- $97.49
-
$14.59off
Towards One-Pass Synthesis
Hardback
Published 31 May 2002Save $14.59
- RRP $122.13
- $107.54
-
Binary Decision Diagrams
Paperback
Published 03 Dec 2010- $184.29
-
Towards One-Pass Synthesis
Paperback
Published 07 Dec 2010- $141.41
-
$14.25off
Evolutionary Algorithms for Emb...
Hardback
Published 30 Nov 2002Save $14.25
- RRP $122.13
- $107.88
-
$19.31off
Evolutionary Algorithms for Emb...
Paperback
Published 23 Oct 2012Save $19.31
- RRP $122.13
- $102.82
-
Advanced BDD Optimization
Paperback
Published 29 Oct 2010- $184.29
-
Advanced BDD Optimization
Hardback
Published 23 Aug 2005- $191.65
-
$2.63off
Noch analog oder lebst Du schon...
Paperback | German
Published 16 Apr 2021Save $2.63
- RRP $20.34
- $17.71
-
$5.78off
Languages, Design Methods, and ...
Hardback
Published 31 May 2016Save $5.78
- RRP $88.20
- $82.42
-
Formal System Verification : St...
Paperback
Published 10 Aug 2018- $162.85
-
$13.54off
Languages, Design Methods, and ...
Paperback
Published 30 May 2018Save $13.54
- RRP $88.20
- $74.66
-
$14.31off
Test Pattern Generation Using B...
Hardback
Published 30 Apr 2009Save $14.31
- RRP $122.13
- $107.82
-
Formal System Verification
Hardback
Published 03 Jul 2017- $178.00
-
Binary Decision Diagrams
Hardback
Published 30 Jun 1998- $191.65
-
$14.71off
Robustness and Usability in Mod...
Hardback
Published 08 Jan 2008Save $14.71
- RRP $122.13
- $107.42
-
$18.39off
Automatisierte Analyse Von Virt...
Hardback | German
Published 20 Sep 2023Save $18.39
- RRP $122.13
- $103.74
-
$5.44off
In-Memory-Computing
Hardback | German
Published 08 Jun 2023Save $5.44
- RRP $108.56
- $103.12
-
$18.06off
Design Für Testbarkeit, Fehlers...
Hardback | German
Published 03 Jan 2024Save $18.06
- RRP $122.13
- $104.07
-
$6.28off
Graphenbasierte Funktionsdarste...
Paperback | German
Published 01 Jan 1998Save $6.28
- RRP $54.27
- $47.99
-
Spectral Techniques in VLSI CAD
Paperback
Published 24 Oct 2012- $184.29
-
Spectral Techniques in VLSI CAD
Hardback
Published 31 Jul 2001- $188.50
-
$19.48off
Quality-Driven SystemC Design
Paperback
Published 16 Oct 2014Save $19.48
- RRP $122.13
- $102.65
-
$18.45off
In-Memory Computing
Paperback
Published 18 Jul 2020Save $18.45
- RRP $122.13
- $103.68
-
$6.98off
Reversible and Quantum Circuits
Hardback
Published 14 Jun 2016Save $6.98
- RRP $61.06
- $54.08
-
$7.73off
Design for Testability, Debug a...
Hardback
Published 20 Apr 2021Save $7.73
- RRP $122.13
- $114.40
-
$13.98off
Automated Analysis of Virtual P...
Paperback
Published 05 May 2021Save $13.98
- RRP $94.99
- $81.01
-
$12.79off
Robustness and Usability in Mod...
Paperback
Published 19 Oct 2010Save $12.79
- RRP $115.35
- $102.56
-
$12.62off
Towards a Design Flow for Rever...
Paperback
Published 18 Oct 2014Save $12.62
- RRP $115.35
- $102.73
-
$19.19off
Debugging at the Electronic Sys...
Paperback
Published 28 Oct 2014Save $19.19
- RRP $122.13
- $102.94
-
$19.93off
Formal Specification Level
Paperback
Published 23 Aug 2016Save $19.93
- RRP $122.13
- $102.20
-
$12.76off
Automated Analysis of Virtual P...
Hardback
Published 05 May 2020Save $12.76
- RRP $94.99
- $82.23
-
$19.05off
In-Memory Computing
Hardback
Published 03 Jun 2019Save $19.05
- RRP $122.13
- $103.08
-
$17.23off
Formal Verification of Structur...
Paperback
Published 16 Feb 2024Save $17.23
- RRP $108.56
- $91.33
-
$0.41off
Enhanced Virtual Prototyping fo...
Paperback
Published 03 Sep 2023Save $0.41
- RRP $81.42
- $81.01
-
Formal Verification of Structur...
Paperback
Published 15 Feb 2023- $56.88
-
$18.56off
Quality-Driven SystemC Design
Hardback
Published 23 Dec 2009Save $18.56
- RRP $122.13
- $103.57
-
$14.09off
Towards a Design Flow for Rever...
Hardback
Published 18 Aug 2010Save $14.09
- RRP $162.85
- $148.76
-
Computer
Paperback | German
Published 03 Mar 2017- $24.42
-
$17.58off
Advanced Boolean Techniques
Hardback
Published 17 Jul 2019Save $17.58
- RRP $122.13
- $104.55
-
$18.45off
Advanced Boolean Techniques
Paperback
Published 14 Aug 2020Save $18.45
- RRP $122.13
- $103.68
-
$8.58off
Design Automation Techniques fo...
Paperback
Published 12 Jan 2019Save $8.58
- RRP $61.06
- $52.48
-
$20.10off
Exact Design of Digital Microfl...
Paperback
Published 05 Jan 2019Save $20.10
- RRP $122.13
- $102.03
-
Automatic Methods for the Refin...
Paperback
Published 11 Jul 2016- $62.44
-
$7.45off
Design Automation Techniques fo...
Hardback
Published 18 Oct 2018Save $7.45
- RRP $61.06
- $53.61
-
$21.42off
Enhanced Virtual Prototyping fo...
Hardback
Published 02 Sep 2022Save $21.42
- RRP $135.71
- $114.29
-
$14.65off
Enhanced Virtual Prototyping
Paperback
Published 16 Oct 2021Save $14.65
- RRP $101.78
- $87.13
-
$7.04off
Natural Language Processing for...
Hardback
Published 01 Sep 2020Save $7.04
- RRP $61.06
- $54.02